*** empty log message ***

diff --git a/etc/TODO b/etc/TODO
index 91b0e59fa9f88ac6e92c2a59b6e46a1fb261f44f..69bac633a4dc1e18d4b3c05c8e47ed28d1844bbc 100644 (file)
--- a/etc/TODO
+++ b/etc/TODO
@@ -9,6 +9,8 @@ to the FSF.
 
 * Small but important fixes needed in existing features:
 
+** revert-buffer should eliminate overlays and the mark.
+
 ** Make occur correctly handle matches that span more than one line,
    as well as overlapping matches.